\begin{tabbing}
ecl{-}machine3(${\it ds}$; ${\it da}$; $x$; $T$; ${\it ks}$; $a$; ${\it snd}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Rall(\=remove{-}repeats(idlnk{-}deq; msg{-}spec{-}links(${\it snd}$));\+
\\[0ex]$l$.R{-}lnk{-}tags(\=fpf{-}join(id{-}deq; ${\it ds}$; fpf{-}single($x$; $T$));\+
\\[0ex]${\it da}$;
\\[0ex]$l$;
\\[0ex]ecl{-}tags($l$; ${\it snd}$);
\\[0ex]${\it ks}$;
\\[0ex]ecl{-}m3($a$; ${\it snd}$; $x$; $l$)))
\-\-
\end{tabbing}